Message flow analysis with complex causal links for distributed ROS 2 systems

نویسندگان

چکیده

Distributed robotic systems rely heavily on the publish–subscribe communication paradigm and middleware frameworks that support it, such as Robot Operating System (ROS), to efficiently implement modular computation graphs. The ROS 2 executor, a high-level task scheduler which handles messages, is performance bottleneck. We extend ros2_tracing, framework with instrumentation tools for real-time tracing of 2, analysis visualization flow messages across distributed systems. Our method detects one-to-many many-to-many causal links between input output including indirect through simple user-level annotations. validate our both synthetic real systems, demonstrate its low runtime overhead. Moreover, underlying intermediate execution representation database can be further leveraged extract additional metrics results. This provide valuable timing scheduling information study improve executor well optimize any system. source code available at: github.com/christophebedard/ros2-message-flow-analysis.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algorithms for Causal Message Ordering in Distributed Systems

Causal message ordering is a partial ordering of messages in a distributed computing environment. It places a restriction on communication between processes by requiring that if the transmission of messagemi to process pk necessarily preceded the transmission of message mj to the same process, then the delivery of these messages to that process must be ordered such that mi is delivered before m...

متن کامل

New Causal Message Logging Protocol with Asynchronous Checkpointing for Distributed Systems

Causal message logging is an efficient approach for tolerating failures of processes in distributed systems because it has the advantages of both pessimistic and optimistic message logging approach. However, traditional causal message logging protocols prevent live processes from executing continuously their computation and require some synchronous logging to the stable storage during recovery....

متن کامل

A Causal Message Ordering Scheme for Distributed Embedded Real-Time Systems

In any distributed system, messages must be ordered according to their cause-and-effect relation to ensure correct behavior of the system. Causal ordering is also essential for services like atomic multicast and replication. In distributed real-time systems, not only must proper causal ordering be ensured, but message deadlines must be met as well. Previous algorithms which ensure such behavior...

متن کامل

Debugging Distributed Systems with Causal Nets

Modern computing is typically distributed as data are stored on systems that are connected to form huge networks and computations take place on several locations. Moreover, emergent metaphors for programming modern networks (aka overlay computers) aim to dynamic composition of distributed computational units. For instance, the service oriented computing paradigm promotes the composition of dist...

متن کامل

12 . Message Flow Analysis

Message management systems with facilities for the automatic processing of messages can exhibit anomalous behaviour such as infinite loops and deadlock. In this paper we present some methods for analyzing the behaviour of these systems by generating expressions of message flowf rom the procedure specifications. Message domains are partitioned into state spaces, and procedures can be interpreted...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Robotics and Autonomous Systems

سال: 2023

ISSN: ['0921-8890', '1872-793X']

DOI: https://doi.org/10.1016/j.robot.2022.104361